Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
11	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
12	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
13	A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:46 Constraint programming Constraint Constraint logic programming Constraint satisfaction
14	Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:17:20 Formal methods Theoretical computer science Logic in computer science Systems engineering Formal verification Specification Formal specification Verification Simulink Device driver synthesis and verification
15	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
16	SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Formal methods Logic in computer science Model checking Theoretical computer science Formal verification Safety Liveness Device driver synthesis and verification
17	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
18	Microsoft PowerPoint - HLSLessons2.ppt Add to Reading List Source URL: mesl.ucsd.edu Language: English - Date: 2009-06-15 02:15:38 Electronic design automation Electronic design Integrated circuits Electronic engineering Logic design High-level synthesis Integrated circuit design Logic simulation Field-programmable gate array System on a chip Application-specific integrated circuit
19	Hardware Synthesis using SAFL and Application to Processor Design (Invited Talk) Alan Mycroft1,2 and Richard Sharp1 1 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Subroutines Hardware description languages Electronic design automation Electronic engineering High-level synthesis Hardware verification languages Verilog VHDL Logic synthesis Inline expansion Parameter Recursion
20	Datasheet Synplify Pro and Premier Fast, Reliable FPGA Implementation and Debug Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2016-02-10 05:16:04 Electronic engineering Electronics Electronic design automation Electronic design System on a chip Fabless semiconductor companies Hardware description languages Logic synthesis Synopsys FPGA prototyping Field-programmable gate array High-level synthesis

UPDATE